Selectionist evolutionary theory has often been faulted for not making novel predictions that are surprising, risky, and correct. I argue that it in fact exhibits the theoretical virtue of predictive capacity in addition to two other virtues: explanatory unification and model fitting. Two case studies show the predictive capacity of selectionist evolutionary theory: parallel evolutionary change in E. coli, and the origin of eukaryotic cells through endosymbiosis.

A map is not its territory. Taking a map too seriously may lead to pernicious reification: map and world are conflated. As one family of cases of such reification, I focus on maps exuding the omphalos syndrome, whereby a centred location on the map is taken to be the world navel of, for instance, an empire. I build on themes from my book _When Maps Become the World_, in which I analogize scientific theories to maps, and develop the tools of (...) assumption archaeology and integration platforms. Here I argue that excavating assumptions helps fill cartographic silences, showing the limitations of perspectives often at war. Furthermore, integrating perspectives permits resisting imperial central or master images. A worthwhile future project would be a repository of world-navel maps, critically annotated with cultural context and imperial information. Mutual understanding may result from such an integration platform, perhaps implemented online or in a museum. (shrink)

Geographic Information Science (GIS) is an interdisciplinary science aiming to detect and visually represent patterns in spatial data. GIS is used by businesses to determine where to open new stores and by conservation biologists to identify field study locations with relatively little anthropogenic influence. Products of GIS include topographic and thematic maps of the Earth’s surface, climate maps, and spatially referenced demographic graphs and charts. In addition to its social, political, and economic importance, GIS is of intrinsic philosophical interest due (...) to its methodological richness and because it is an instructive analogue to other sciences. This chapter works towards a philosophy of GIS and cartography, or PGISC. In particular, it examines practices of classifying geographic space, objects, and relations. By focusing on the use of natural kinds in data modeling and map generalization practices, I show how the making and using of kinds is contextual, fallible, plural, and purposive. (shrink)

Maps and mapping raise questions about models and modeling and in science. This chapter archives map discourse in the founding generation of philosophers of science (e.g., Rudolf Carnap, Nelson Goodman, Thomas Kuhn, and Stephen Toulmin) and in the subsequent generation (e.g., Philip Kitcher, Helen Longino, and Bas van Fraassen). In focusing on these two original framing generations of philosophy of science, I intend to remove us from the heat of contemporary discussions of abstraction, representation, and practice of science and thereby (...) see in a more distant and neutral light the many productive ways in which maps can stand in analytically for scientific theories and models. The chapter concludes by complementing the map analogy – i.e., a scientific theory is a map of the world – with a model analogy, viz., a scientific model is a vehicle for understanding. (shrink)

Is democracy a requirement of justice or an instrument for realizing it? The correct answer to this question, I argue, depends on the background circumstances against which democracy is defended. In the presence of thin reasonable disagreement about justice, we should value democracy only instrumentally (if at all); in the presence of thick reasonable disagreement about justice, we should value it also intrinsically, as a necessary demand of justice. Since the latter type of disagreement is pervasive in real-world politics, I (...) conclude that theories of justice designed for our world should be centrally concerned with democracy. (shrink)

The ocean terrain spanning the globe is vast and complex—far from an immense flat plain of mud. To map these depths accurately and wisely, we must understand how cartographic abstraction and generalization work both in analog cartography and digital GIS. This chapter explores abstraction practices such as selection and exaggeration with respect to mapping the oceans, showing significant continuity in such practices across cartography and contemporary GIS. The role of measurement and abstraction—as well as of political and economic power, and (...) sexual and personal bias—in these sciences is illustrated by the biographies of Marie Tharp and Bruce Heezen, whose mapping of the Mid-Atlantic Ridge precipitated a paradigm shift in geology. (shrink)

This chapter defends a view of semantics on which developing a semantic theory closely resembles developing a scale of measurement. The view helps explain how semantics has made so much progress despite deep disagreements about the target of semantic theorizing (e.g., between those who maintain that semantics is characterizing something psychological, and those who maintain that it is characterizing something social), how appeals to set-theoretic abstracta make sense despite Benacerraf-style worries and despite the fact that set-theoretic entities fit badly with (...) standard (e.g., causal) metasemantic views, and why the threat of radical context sensitivity does not undermine the semantic project. (shrink)

In his recent bookThe Idea of Justice, Amartya Sen suggests that political philosophy should move beyond the dominant, Rawls-inspired, methodological paradigm – what Sen calls ‘transcendental institutionalism’ – towards a more practically oriented approach to justice: ‘realization-focused comparison’. In this article, I argue that Sen's call for a paradigm shift in thinking about justice is unwarranted. I show that his criticisms of the Rawlsian approach are either based on misunderstandings, or correct but of little consequence, and conclude that the Rawlsian (...) approach already delivers much of what Sen himself wants from a theory of justice. (shrink)

A globalized world, some argue, needs a global democracy. But there is considerable disagreement about whether global democracy is an ideal worth pursuing. One of the main grounds for scepticism is captured by the slogan: “No global demos, no global democracy.” The fact that a key precondition of democracy—a demos—is absent at the global level, some argue, speaks against the pursuit of global democracy. The paper discusses four interpretations of the skeptical slogan—each based on a specific account of the notion (...) of “the demos”—and concludes that none of them establishes that the global democratic ideal must be abandoned. In so doing, the paper (i) systematizes different types of objections against global democracy, thus bringing some clarity to an otherwise intricate debate and (ii) offers a robust but qualified defense of the global democratic ideal. (shrink)

This article provides a conceptual map of the debate on ideal and non‐ideal theory. It argues that this debate encompasses a number of different questions, which have not been kept sufficiently separate in the literature. In particular, the article distinguishes between the following three interpretations of the ‘ideal vs. non‐ideal theory’ contrast: (i) full compliance vs. partial compliance theory; (ii) utopian vs. realistic theory; (iii) end‐state vs. transitional theory. The article advances critical reflections on each of these sub‐debates, and highlights (...) areas for future research in the field. (shrink)

In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

In this article I argue that characterizations of anger as a hostile emotion may be mistaken. My project is empirically informed and is partly descriptive, partly diagnostic. It is descriptive in that I am concerned with what anger is, and how it tends to manifest, rather than with what anger should be or how moral anger is manifested. The orthodox view on anger takes it to be, descriptively, an emotion that aims for retribution. This view fits well with anger being (...) a hostile emotion, as retribution is punitive. I will argue that a different view of anger deserves our attention. On this alternative view, anger aims for recognition of harms done, rather than for the punishment of those who have committed them. I argue that we have reason to favour a strong view that excludes retribution from anger’s main aims. In addition, I offer a diagnosis of the reasons that led the retributive view of anger to become, and remain, orthodoxy. This diagnosis provides indirect reason to give my descriptive proposal serious consideration, for it highlights that the orthodox view has dominated folk and philosophical conceptions of anger for reasons that do not speak in favour of the view’s veracity. The view that anger is a hostile emotion will therefore emerge as in need of serious scrutiny. (shrink)

Frank Jackson often writes as if his descriptivist account of public language meanings were just plain common sense. How else are we to explain how different speakers manage to communicate using a public language? And how else can we explain how individuals arrive at confident judgments about the reference of their words in hypothetical scenarios? Our aim in this paper is to show just how controversial the psychological assumptions behind in Jackson’s semantic theory really are. First, we explain how Jackson’s (...) theory goes well beyond the commonsense platitudes he cites in its defence. Second, we sketch an alternative explanation of those platitudes, the jazz model of meaning, which we argue is more psychologically realistic. We conclude that the psychological picture presupposed by Jackson’s semantic theory stands in need of a much more substantial defence than he has so far offered. (shrink)

Much contemporary political philosophy claims to be Kant-inspired, but its aims and method differ from Kant's own. In his recent book, Force and Freedom, Arthur Ripstein advocates a more orthodox Kantian outlook, presenting it as superior to dominant (Kant-inspired) views. The most striking feature of this outlook is its attempt to ground the whole of political morality in one right: the right to freedom, understood as the right to be independent of others’ choices. Is Ripstein's Kantian project successful? In this (...) research note I argue that it is not. First, I suggest that Ripstein's notion of freedom is viciously circular. It is meant to ground all rights, but in fact it presupposes an account of those rights. Second, I show that—independently of its inability to ground a whole political morality—such a moralized understanding of freedom is normatively unappealing. (shrink)

In this article, I sketch a Kant-inspired liberal account of human rights: the freedom-centred view. This account conceptualizes human rights as entitlements that any political authority—any state in the first instance—must secure to qualify as a guarantor of its subjects' innate right to freedom. On this picture, when a state (or state-like institution) protects human rights, it reasonably qualifies as a moral agent to be treated with respect. By contrast, when a state (or state-like institution) fails to protect human rights, (...) it loses its moral status and becomes liable to both internal and external interference. I argue that this account not only steers a middle course between so-called natural-law and political approaches to human rights but also satisfies three important theoretical desiderata— explanatory power, functional specificity, and critical capacity. (shrink)

Reference to the state is ubiquitous in debates about global justice. Some authors see the state as central to the justification of principles of justice, and thereby reject their extension to the international realm. Others emphasize its role in the implementation of those principles. This chapter scrutinizes the variety of ways in which the state figures in the global-justice debate. Our discussion suggests that, although the state should have a prominent role in theorizing about global justice, contrary to what is (...) commonly thought, acknowledging this role does not lead to anti-cosmopolitan conclusions, but to the defense of an “intermediate” position about global justice. From a justificatory perspective, we argue, the state remains a key locus for the application of egalitarian principles of justice, but is not the only one. From the perspective of implementation, we suggest that state institutions are increasingly fragile in a heavily interdependent world, and need to be supplemented—though not supplanted—with supranational authorities. (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

A life without liberty and material resources is not a good life. Equally, a life devoid of meaningful social relationships—such as friendships, family attachments, and romances—is not a good life. From this it is tempting to conclude that just as individuals have rights to liberty and material resources, they also have rights to access meaningful social relationships. I argue that this conclusion can be defended only in a narrow set of cases. ‘Pure’ social relationship deprivation—that is, deprivation that is not (...) caused, or accompanied, by deficits in liberties and material resources— mostly generates demands of private beneficence. I suggest that social relationship deprivation is unjust, hence a rights violation, only when it is due to factors—such as one’s race—that are irrelevant to one’s being a good participant in social relationships. I thus conclude that access to meaningful social relationships is not a fundamental concern for theories of justice. (shrink)

It is illegitimate to read any ontology about "race" off of biological theory or data. Indeed, the technical meaning of "genetic variation" is fluid, and there is no single theoretical agreed-upon criterion for defining and distinguishing populations (or groups or clusters) given a particular set of genetic variation data. Thus, by analyzing three formal senses of "genetic variation"—diversity, differentiation, and heterozygosity—we argue that the use of biological theory for making epistemic claims about "race" can only seem plausible when it relies (...) on the user’s own assumptions about race; the move from biological measures to claims about “race” inevitably amounts to a pernicious reification. We also excavate assumptions in the history of the technical discourse over the concept of "race" (e.g., Livingstone's and Dobzhansky's 1962 exchange, Edwards' 2003 response to Lewontin 1972, as well as contemporary discussions of cladistic "race", and "races" as clusters). We show that claims about the existence (or non-existence) of "race" are underdetermined by biological facts, methods, and theories. Biological theory does not force the concept of "race" upon us; our social discourse, social ontology, and social expectations do. We become prisoners of our abstractions at our own hands, and at our own expense. (shrink)

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (shrink)

When and why do socially constructed norms—including the laws of the land, norms of etiquette, and informal customs—generate moral obligations? I argue that the answer lies in the duty to respect others, specifically to give them what I call “agency respect.” This is the kind of respect that people are owed in light of how they exercise their agency. My central thesis is this: To the extent that (i) existing norms are underpinned by people’s commitments as agents and (ii) they (...) do not conflict with morality, they place moral demands on us on agency-respect grounds. This view of the moral force of socially constructed norms, I suggest, is superior to views that deny the moral force of such norms, and it elegantly explains certain instances of wrongdoing that would otherwise remain unaccounted for. (shrink)

This paper distinguishes three concepts of "race": bio-genomic cluster/race, biological race, and social race. We map out realism, antirealism, and conventionalism about each of these, in three important historical episodes: Frank Livingstone and Theodosius Dobzhansky in 1962, A.W.F. Edwards' 2003 response to Lewontin (1972), and contemporary discourse. Semantics is especially crucial to the first episode, while normativity is central to the second. Upon inspection, each episode also reveals a variety of commitments to the metaphysics of race. We conclude by interrogating (...) the relevance of these scientific discussions for political positions and a post-racial future. (shrink)

In this article, I develop a new account of the liberal view that principles of justice are meant to justify state coercion, and consider its implications for the question of global socioeconomic justice. Although contemporary proponents of this view deny that principles of socioeconomic justice apply globally, on my newly developed account this conclusion is mistaken. I distinguish between two types of coercion, systemic and interactional, and argue that a plausible theory of global justice should contain principles justifying both. The (...) justification of interactional coercion requires principles regulating interstate interference; that of systemic coercion requires principles of global socioeconomic justice. I argue that the proposed view not only helps us make progress in the debate on global justice, but also offers an independently compelling and systematic account of the function and conditions of applicability of justice. -/-. (shrink)

A prominent view in contemporary political theory, the ‘associative view’, says that duties of justice are triggered by particular cooperative relations between morally significant agents, and that ‘therefore’ principles of justice apply only among fellow citizens. This view has been challenged by advocates of global justice, who point to the existence of a world-wide cooperative network to which principles of justice apply. Call this the challenge from geographical extension. In this paper, I pose a structurally similar challenge to the associative (...) view: the challenge from species extension. This says that the existing network of cooperation extends beyond the human species, to encompass some non-human animals, particularly domesticated dogs. In light of this, if one believes that (i) certain non-human animals are morally significant (i.e. objects of moral concern), and that (ii) justice applies to fellow cooperators, one should also hold that domesticated dogs are owed justice in much the same way our human fellow citizens are. I conclude by considering the implications of this argument for the associative view, and animal-rights theory. (shrink)

Which standards should we employ to evaluate the global order? Should they be standards of justice or standards of legitimacy? In this article, I argue that liberal political theorists need not face this dilemma, because liberal justice and legitimacy are not distinct values. Rather, they indicate what the same value, i.e. equal respect for persons, demands of institutions under different sets of circumstances. I suggest that under real-world circumstances – characterized by conflicts and disagreements – equal respect demands basic-rights protection (...) and democratic participation, which I here call ‘political justice’. I conclude the article by considering three possible configurations of the global order – the ‘democratic world-state’, ‘independent democratic states’, and ‘mixed’ models – and argue that a commitment to political justice speaks in favour of the latter. (shrink)

Principles of distributive justice bind macro-level institutional agents, like the state. But what does justice require in non-ideal circumstances, where institutional agents are unjust or do not e...

There are many different interpretations of what the family should be – its desired member composition, its primary purpose, and its cultural significance – and many different examples of what families actually look like across the globe. I examine the most paradigmatic conceptions of the family that are based upon the supposed primary purpose that the family serves for its members and for the state. I then suggest that we ought to reconceptualize how we understand and define the family in (...) an effort to move away from these paradigmatic conceptions. This approach requires that we examine the way(s) in which the family has been defined descriptively – that is, how families have been defined historically – in an effort to determine what a normative theory of the family might look like. The goal of this inquiry is to define a family in terms of what it ought to be – a goal that moves our understanding of the family to a new conceptual landscape. I then present my own account of familial relations that aims to capture a normative understanding of the unique primary purpose that the family serves for its members. (shrink)

In his thought-provoking book, Why Law Matters, Alon Harel defends two key claims: one ontological, the other axiological. First, he argues that constitutions and judicial review are necessary constituents of a just society. Second, he suggests that these institutions are not only means to the realization of worthy ends, but also non-instrumentally valuable. I agree with Harel that constitutions and judicial review have more than instrumental value, but I am not persuaded by his arguments in support of this conclusion. I (...) argue that Harel’s ontological claim is unsustainable, and that his axiological claim needs revision. Regarding the former, I show that constitutions and judicial review are only contingent constituents of a just society. Regarding the latter, I contest Harel’s specific account of the value of constitutions and judicial review. Harel grounds the non-instrumental value of constitutions in freedom as non-domination but, upon scrutiny, it emerges that their non-instrumental value lies elsewhere. Further, Harel holds that the non-instrumental value of judicial review stems from its embodying a right to a fair hearing. I argue that this right has non-instrumental value only under a particular set of circumstances. I thus conclude, contrary to Harel, that the non-instrumental value of judicial review is contingent on those circumstances obtaining. (shrink)

Two families of mathematical methods lie at the heart of investigating the hierarchical structure of genetic variation in Homo sapiens: /diversity partitioning/, which assesses genetic variation within and among pre-determined groups, and /clustering analysis/, which simultaneously produces clusters and assigns individuals to these “unsupervised” cluster classifications. While mathematically consistent, these two methodologies are understood by many to ground diametrically opposed claims about the reality of human races. Moreover, modeling results are sensitive to assumptions such as preexisting theoretical commitments to certain (...) linguistic, anthropological, and geographic human groups. Thus, models can be perniciously reified. That is, they can be conflated and confused with the world. This fact belies standard realist and antirealist interpretations of “race,” and supports a pluralist conventionalist interpretation. (shrink)

Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...) non-native species management, as well as metaphorical alternatives, is critical. (shrink)

I analyze the importance of parts in the style of biological theorizing that I call compositional biology. I do this by investigating various aspects, including partitioning frames and explanatory accounts, of the theoretical perspectives that fall under and are guided by compositional biology. I ground this general examination in a comparative analysis of three different disciplines with their associated compositional theoretical perspectives: comparative morphology, functional morphology, and developmental biology. I glean data for this analysis from canonical textbooks and defend the (...) use of such texts for the philosophy of science. I end with a discussion of the importance of recognizing formal and compositional biology as two genuinely different ways of doing biology – the differences arising more from their distinct methodologies than from scientific discipline included or natural domain studied. Ultimately, developing a translation manual between the two styles would be desirable as they currently are, at times, in conflict. (shrink)

A recently developed view in political theory holds that only political agents, particularly states, can be primary bearers of human-rights duties. Problematically, this so-called ‘political view’ appears unable to account for the human-rights responsibilities of powerful non-state actors, such as transnational corporations (TNCs). Can a recognizably political view respond to this concern? I show that, once the moral underpinnings of the political view are made explicit, it can. I suggest that, on the political view, what makes states primary bearers of (...) human-rights duties is their possession of both (i) the capacity to fulfill human right and (ii) what I call the ‘authority-plus-sovereignty package’. Building on the existing literature on the moral responsibilities of TNCs, I argue that some TNCs—especially in areas of weak governance—meet these two conditions. I thus conclude that they count as bearers of primary human-rights responsibilities even from within a political perspective on human rights. (shrink)

Kaplan (1989) famously claimed that monsters--operators that shift the context--do not exist in English and "could not be added to it". Several recent theorists have pointed out a range of data that seem to refute Kaplan's claim, but others (most explicitly Stalnaker 2014) have offered a principled argument that monsters are impossible. This paper interprets and resolves the dispute. Contra appearances, this is no dry, technical matter: it cuts to the heart of a deep disagreement about the fundamental structure of (...) a semantic theory. We argue that: (i) the interesting notion of a monster is not an operator that shifts some formal parameter, but rather an operator that shifts parameters that play a certain theoretical role; (ii) one cannot determine whether a given semantic theory allows monsters simply by looking at the formal semantics; (iii) theories which forbid shifting the formal "context" parameter are perfectly compatible with the existence of monsters (in the interesting sense). We explain and defend these claims by contrasting two kinds of semantic theory--Kaplan's (1989) and Lewis's (1980). (shrink)

Scientists use models to understand the natural world, and it is important not to conflate model and nature. As an illustration, we distinguish three different kinds of populations in studies of ecology and evolution: theoretical, laboratory, and natural populations, exemplified by the work of R.A. Fisher, Thomas Park, and David Lack, respectively. Biologists are rightly concerned with all three types of populations. We examine the interplay between these different kinds of populations, and their pertinent models, in three examples: the notion (...) of “effective” population size, the work of Thomas Park on /Tribolium/ populations, and model-based clustering algorithms such as /Structure/. Finally, we discuss ways to move safely between three distinct population types while avoiding confusing models and reality. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...) this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

This article began as a review of a conference, organized by Gerhard Schlosser, entitled “Modularity in Development and Evolution.” The conference was held at, and sponsored by, the Hanse Wissenschaftskolleg in Delmenhorst, Germany in May, 2000. The article subsequently metamorphosed into a literature and concept review as well as an analysis of the differences in current perspectives on modularity. Consequently, I refer to general aspects of the conference but do not review particular presentations. I divide modules into three kinds: structural, (...) developmental, and physiological. Every module fulfills none, one, or multiple functional roles. Two further orthogonal distinctions are important in this context: module-kinds versus module-variants-of-a-kind and reproducer versus nonreproducer modules. I review criteria for individuation of modules and mechanisms for the phylogenetic origin of modularity. I discuss conceptual and methodological differences between developmental and evolutionary biologists, in particular the difference between integration and competition perspectives on individualization and modular behavior. The variety in views regarding modularity presents challenges that require resolution in order to attain a comprehensive, rather than a piecemeal and fragmentary, evolutionary developmental biology. (shrink)

Philosophical discussion of human rights has long been monopolised by what might be called the ‘natural-law view’. On this view, human rights are fundamental moral rights which people enjoy solely by virtue of their humanity. In recent years, a number of theorists have started to question the validity of this outlook, advocating instead what they call a ‘political’ view. My aim in this article is to explore the latter view in order to establish whether it constitutes a valuable alternative to (...) the ‘natural-law view’. In particular, I distinguish between three ways in which human rights can be political: in relation to their (1) iudicandum, (2) justification and (3) feasibility constraints. I argue that it makes sense to think of human rights as political in relation to both their iudicandum and their justification but in a way that is not always adequately captured by proponents of the political view. Moreover, I also claim that, if we take the political view seriously, we still need to engage in the sort of abstract moral reasoning that characterises the natural-law approach and which proponents of the political view significantly downplay. (shrink)

Darwin's ideas on variation, heredity, and development differ significantly from twentieth-century views. First, Darwin held that environmental changes, acting either on the reproductive organs or the body, were necessary to generate variation. Second, heredity was a developmental, not a transmissional, process; variation was a change in the developmental process of change. An analysis of Darwin's elaboration and modification of these two positions from his early notebooks (1836-1844) to the last edition of the /Variation of Animals and Plants Under Domestication/ (1875) (...) complements previous Darwin scholarship on these issues. Included in this analysis is a description of the way Darwin employed the distinction between transmission and development, as well as the conceptual relationship he saw between heredity and variation. This paper is part of a larger project comparing commitments regarding variation during the latter half of the nineteenth century. (shrink)

August Weismann is famous for having argued against the inheritance of acquired characters. However, an analysis of his work indicates that Weismann always held that changes in external conditions, acting during development, were the necessary causes of variation in the hereditary material. For much of his career he held that acquired germ-plasm variation was inherited. An irony, which is in tension with much of the standard twentieth-century history of biology, thus exists – Weismann was not a Weismannian. I distinguish three (...) claims regarding the germ-plasm: (1) its continuity, (2) its morphological sequestration, and (3) its variational sequestration. With respect to changes in Weismann’s views on the cause of variation, I divide his career into four stages. For each stage I analyze his beliefs on the relative importance of changes in external conditions and sexual reproduction as causes of variation in the hereditary material. Weismann believed, and Weismannism denies, that variation, heredity, and development were deeply intertwined processes. This article is part of a larger project comparing commitments regarding variation during the latter half of the nineteenth century. (shrink)

Reification is to abstraction as disease is to health. Whereas abstraction is singling out, symbolizing, and systematizing, reification is neglecting abstractive context, especially functional, historical, and analytical-level context. William James and John Dewey provide similar and nuanced arguments regarding the perils and promises of abstraction. They share an abstraction-reification account. The stages of abstraction and the concepts of “vicious abstractionism,” “/the/ psychologist’s fallacy,” and “the philosophic fallacy” in the works of these pragmatists are here analyzed in detail. For instance, in (...) 1896 Dewey exposes various fallacies associated with reifying dualistic reflex arc theory. The conclusion prescribes treatments (pluralism and assumption archaeology) for de-reifying ill models (i.e., universalized, narrowed, and ontologized models) in contemporary scientific fields such as cognitive science and biology. (shrink)

All eyes are turned towards genomic data and models as the source of knowledge about whether human races exist or not. Will genomic science make the final decision about whether racial realism (e.g., racial population naturalism) or anti-realism (e.g., racial skepticism) is correct? We think not. We believe that the results of even our best and most impressive genomic technologies underdetermine whether bio-genomic races exist, or not. First, different sub-disciplines of biology interested in population structure employ distinct concepts, aims, measures, (...) and models, producing cross-cutting categorizations of population subdivisions rather than a single, universal bio-genomic concept of "race." Second, within each sub-discipline (e.g., conservation biology, phylogenetics), genomic results are consistent with, and map multiply to, racial realism and anti-realism. Indeed, racial ontologies are constructed conventionally, rather than discovered. We thus defend a /constructivist conventionalism/ about bio-genomic racial ontology. Choices and conventions must always be made in identifying particular kinds of groups. Political agendas, social programs, and moral questions premised on the existence of naturalistic race must accept that no scientifically grounded racial ontology is forthcoming, and adjust presumptions, practices, and projects accordingly. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)